functor F(
  A : sig
    structure mismatched_name : sig end
  end
) =
struct
end
